𝕂: A Semantic Framework for Programming Languages and Formal Analysis Tools
نویسنده
چکیده
We give an overview of the K framework, following the lecture notes presented by the author at the Marktoberdorf Summer School in year 2016.
منابع مشابه
The Varieties of Programming Language Semantics And Their Uses
Formal descriptions of syntax are quite popular: regular and context-free grammars have become accepted as useful for documenting the syntax of programming languages, as well as for generating efficient parsers; attribute grammars allow parsing to be linked with typechecking and code generation; and regular expressions are extensively used for searching and transforming text. In contrast, forma...
متن کاملSpecifying Languages and Verifying Programs with K http://kframework.org
K is a rewrite-based executable semantic framework for defining languages. The K framework is designed to allow implementing a variety of generic tools that can be used with any language defined in K, such as parsers, interpreters, symbolic execution engines, semantic debuggers, test-case generators, state-space explorers, model checkers, and even deductive program verifiers. The latter are bas...
متن کاملA Unifying Model for Specification and Design
The application of formal languages in the software development process is becoming more and more evident. Providing formal semantics and tools for the synthesis, analysis and transformation of behavioural models is usually the first step in the process of formal methods development. Many formal methods exist but, as yet, there is an absence of a meta-theory of formal methods. Such a meta-theor...
متن کاملRewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of powerful software analysis tools. Such tools can be obtained for free from the semantic definitions; in our experience in just the few weeks required to define a language’s semantics even for large languages like Java. B...
متن کاملCollective Cognition with Semantic Mediawiki : Lessons and Exper iences ( Extended
Web-based tools have fundamentally revolutionized the ways of knowledge acquisition, propagation, aggregation, understanding, and analysis. This is exemplified by Wikipedia, one of the most successful Web tools that support collective knowledge management in a large user community. Semantic wikis are extensions to wikis with semantic technologies that are aimed at further facilitating better hu...
متن کامل